If science fiction is a genre, then attempts to think about the nature of science fiction will be affected by one’s understanding of what genres are. I shall examine two approaches to genre, one dominant but inadequate, the other better, but only occasionally making itself seen. I shall then discuss several important, interrelated issues, focusing particularly on science fiction : what it is for a work to belong to a genre, the semantics of genre names, the validity of attempts to (...) define genres, and the connections between genre and normativity. One important but neglected clue to the nature of genres lies in the kinds of disagreements they generate over the assignment of works to genres. I conclude by explaining why these disagreements tell us something about the nature of genres, and discussing in some detail two famous cases of disagreement about whether some work or works are science fiction. (shrink)

In 1956, W.B. Gallie introduced his idea of essentially contested concepts. In my paper, I offer a novel interpretation of his theory and argue that his theory, thus interpreted, is correct. The key to my interpretation lies in a condition Gallie places on essentially contested concepts that other interpreters downplay or dismiss: that the use of an essentially contested concept must be derived “from an original exemplar whose authority is acknowledged by all the contestant users of the concept.” This reveals (...) a similarity between Gallie’s views and the semantic externalist views of Hilary Putnam, and others, about natural kind terms like “water” and “tiger.” I argue that natural kind terms and terms for essentially contested concepts are two species of a single semantic genus. In the case of natural kind terms, a term refers to a natural kind, the exemplars are instances of that kind, and the relation between the exemplars and anything to which the term applies is co-membership of the kind. In the case of terms for essentially contested concepts, a term refers to an historical tradition, the exemplar is a stage or temporal part of that tradition, and the relation between the exemplar and anything to which the term refers is being the heir of. This allows me to understand the contests that alerted Gallie to the phenomenon of essentially contested concepts as contests over the ownership of historical traditions. (shrink)

I explore the interrelations between the ontological and aesthetic issues raised by ready-mades such as Duchamp’s Fountain. I outline a hylomorphic metaphysics which has two central features. First, hylomorphically complex objects have matter to which they are not identical. Secondly, when such objects are artefacts (including artworks), it is essential to them that they are the products of creative work on their matter. Against this background, I suggest that ready-mades are of aesthetic interest because they pose a dilemma. Is there (...) really an object, a sculpture, that is distinct from its matter, a urinal, which object is created merely by the artist’s choice of the urinal? Or are we dealing with a case in which an artist passes off something, a urinal, as if it were a sculpture, even though it is not one? (shrink)

Memes are a prominent example of a kind of digital artifact. It is widely agreed that an integral component of meme-making is the way in which it makes use of other existing material. In this paper, I examine three different ways of understanding this making use of. First, it has been seen in economic terms, as a kind of poaching. Secondly, the cultural concept of (re)appropriation has been deployed. Finally, Lévi-Strauss’s notion of bricolage is often mentioned. I argue that despite (...) some interesting insights deriving from the first two approaches, it is the third that gives the most comprehensive and interesting take on meme-making. (shrink)

I argue for the thesis (UL) that there are certain logical abilities that any rational creature must have. Opposition to UL comes from naturalized epistemologists who hold that it is a purely empirical question which logical abilities a rational creature has. I provide arguments that any creatures meeting certain conditions—plausible necessary conditions on rationality—must have certain specific logical concepts and be able to use them in certain specific ways. For example, I argue that any creature able to grasp theories must (...) have a concept of conjunction subject to the usual introduction and elimination rules. I also deal with disjunction, conditionality and negation. Finally, I put UL to work in showing how it could be used to define a notion of logical obviousness that would be well suited to certain contexts—e.g. radical translation and epistemic logic—in which a concept of obviousness is often invoked. (shrink)

When a plaintiff has been negligent in the sense that he should have acted otherwise, should the same criterion of negligence apply that would apply if he were creating risks only to others? Indeed, are there any persuasive reasons not to apply a radically different criterion of negligence? Moreover, should the plaintiff's recovery be diminished, outside the category of assumption of risk, even when the plaintiff has not been negligent? What are the justifiable criteria and limits of such plaintiff strict (...) responsibility? There are reasons for caution before concluding that a victim's self-regarding conduct is negligent. A victim often deserves special sympathy in the light of his special predicament, choosing between two evils, the immediate costs of which he must personally bear. Indeed, it might appear that the law is unfair or unduly onerous when it places significant demands on a victim with respect to his own self-regarding behavior. On the other hand, we should not forget that the victim's “duty” to use reasonable care is merely conditional: it applies only in case the victim seeks a remedy against the tortfeasor. (shrink)

In this article I distinguish the notion of there being something it is like to be a certain kind of creature from that of there being something it is like to have a certain kind of experience. Work on consciousness has typically dealt with the latter while employing the language of the former. I propose several ways of analyzing what it is like to be a certain kind of creature and find problems with them all. The upshot is that even (...) if there is something it is like to have certain kinds of experience, it does not follow that there is anything it is like to be a certain kind of creature. Skepticism about the existence of something that it is like to be an F is recommended. (shrink)

Is logic normative for reasoning? In the wake of work by Gilbert Harman and John MacFarlane, this question has been reduced to: are there any adequate bridge principles which link logical facts to normative constraints on reasoning? Hitherto, defenders of the normativity of logic have exclusively focussed on identifying adequate validity bridge principles: principles linking validity facts—facts of the form 'gamma entails phi'—to normative constraints on reasoning. This paper argues for two claims. First, for the time being at least, Harman’s (...) challenge cannot be surmounted by articulating validity bridge principles. Second, Harman’s challenge can be met by articulating invalidity bridge principles: principles linking invalidity facts of the form 'gamma does not entail phi' to normative constraints on reasoning. In doing so, I provide a novel defence of the normativity of logic. (shrink)

A brief examination of the self-negating quality of the precautionary principle within the context of environmental ethics, and its consequent failure, as an ethical guide, to justify large-scale regulation of atmospheric cabon dioxide emissions.

According to tradition, logic is normative for reasoning. According to many contemporary philosophers of logic, there is more than one correct logic. What is the relationship between these two strands of thought? This paper makes two claims. First, logic is doubly normative for reasoning because, in addition to constraining the combinations of beliefs that we may have, logic also constrains the methods by which we may form them. Second, given that logic is doubly normative for reasoning, a wide array of (...) logical pluralisms are inconsistent with the normativity of logic as they entail contradictory claims about how agents ought to reason. Thus, if logic is normative for reasoning, these pluralisms are untenable. (shrink)

Artificial agents (AAs), particularly but not only those in Cyberspace, extend the class of entities that can be involved in moral situations. For they can be conceived of as moral patients (as entities that can be acted upon for good or evil) and also as moral agents (as entities that can perform actions, again for good or evil). In this paper, we clarify the concept of agent and go on to separate the concerns of morality and responsibility of agents (most (...) interestingly for us, of AAs). We conclude that there is substantial and important scope, particularly in Computer Ethics, for the concept of moral agent not necessarily exhibiting free will, mental states or responsibility. This complements the more traditional approach, common at least since Montaigne and Descartes, which considers whether or not (artificial) agents have mental states, feelings, emotions and so on. By focussing directly on mind-less morality we are able to avoid that question and also many of the concerns of Artificial Intelligence. A vital component in our approach is the Method of Abstraction for analysing the level of abstraction (LoA) at which an agent is considered to act. The LoA is determined by the way in which one chooses to describe, analyse and discuss a system and its context. The Method of Abstraction is explained in terms of an interface or set of features or observables at a given LoA. Agenthood, and in particular moral agenthood, depends on a LoA. Our guidelines for agenthood are: interactivity (response to stimulus by change of state), autonomy (ability to change state without stimulus) and adaptability (ability to change the transition rules by which state is changed) at a given LoA. Morality may be thought of as a threshold defined on the observables in the interface determining the LoA under consideration. An agent is morally good if its actions all respect that threshold; and it is morally evil if some action violates it. That view is particularly informative when the agent constitutes a software or digital system, and the observables are numerical. Finally we review the consequences for Computer Ethics of our approach. In conclusion, this approach facilitates the discussion of the morality of agents not only in Cyberspace but also in the biosphere, where animals can be considered moral agents without their having to display free will, emotions or mental states, and in social contexts, where systems like organizations can play the role of moral agents. The primary cost of this facility is the extension of the class of agents and moral agents to embrace AAs. (shrink)

In this chapter, we argue that the web is a poietically- enabling environment, which both enhances and requires the development of a “constructionist ethics”. We begin by explaining the appropriate concept of “constructionist ethics”, and analysing virtue ethics as the primary example. We then show why CyberEthics (or Computer Ethics, as it is also called) cannot be based on virtue ethics, yet needs to retain a constructionist approach. After providing evidence for significant poietic uses of the web, we argue that (...) ethical constructionism is not only facilitated by the web, but is also what the web requires as an ethics of the digital environment. In conclusion, we relate the present discussion to standard positions in CyberEthics and to a broader project for Information Ethics. (shrink)

Moral reasoning traditionally distinguishes two types of evil:moral (ME) and natural (NE). The standard view is that ME is the product of human agency and so includes phenomena such as war,torture and psychological cruelty; that NE is the product of nonhuman agency, and so includes natural disasters such as earthquakes, floods, disease and famine; and finally, that more complex cases are appropriately analysed as a combination of ME and NE. Recently, as a result of developments in autonomous agents in cyberspace, (...) a new class of interesting and important examples of hybrid evil has come to light. In this paper, it is called artificial evil (AE) and a case is made for considering it to complement ME and NE to produce a more adequate taxonomy. By isolating the features that have led to the appearance of AE, cyberspace is characterised as a self-contained environment that forms the essential component in any foundation of the emerging field of Computer Ethics (CE). It is argued that this goes someway towards providing a methodological explanation of why cyberspace is central to so many of CE's concerns; and it is shown how notions of good and evil can be formulated in cyberspace. Of considerable interest is how the propensity for an agent's action to be morally good or evil can be determined even in the absence of biologically sentient participants and thus allows artificial agents not only to perpetrate evil (and fort that matter good) but conversely to `receive' or `suffer from' it. The thesis defended is that the notion of entropy structure, which encapsulates human value judgement concerning cyberspace in a formal mathematical definition, is sufficient to achieve this purpose and, moreover, that the concept of AE can be determined formally, by mathematical methods. A consequence of this approach is that the debate on whether CE should be considered unique, and hence developed as a Macroethics, may be viewed, constructively,in an alternative manner. The case is made that whilst CE issues are not uncontroversially unique, they are sufficiently novel to render inadequate the approach of standard Macroethics such as Utilitarianism and Deontologism and hence to prompt the search for a robust ethical theory that can deal with them successfully. The name Information Ethics (IE) is proposed for that theory. Itis argued that the uniqueness of IE is justified by its being non-biologically biased and patient-oriented: IE is an Environmental Macroethics based on the concept of data entity rather than life. It follows that the novelty of CE issues such as AE can be appreciated properly because IE provides a new perspective (though not vice versa). In light of the discussion provided in this paper, it is concluded that Computer Ethics is worthy of independent study because it requires its own application-specific knowledge and is capable of supporting a methodological foundation, Information Ethics. (shrink)

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology will greatly benefit software application ontologies. To this end LinKBase®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this, we aim to move beyond the level (...) of controlled vocabularies to yield an ontology with the ability to support reasoning applications. (shrink)

The paper provides a critical review of thedebate on the foundations of Computer Ethics(CE). Starting from a discussion of Moor'sclassic interpretation of the need for CEcaused by a policy and conceptual vacuum, fivepositions in the literature are identified anddiscussed: the ``no resolution approach'',according to which CE can have no foundation;the professional approach, according to whichCE is solely a professional ethics; the radicalapproach, according to which CE deals withabsolutely unique issues, in need of a uniqueapproach; the conservative approach, accordingto which CE (...) is only a particular appliedethics, discussing new species of traditionalmoral issues; and the innovative approach,according to which theoretical CE can expandthe metaethical discourse with a substantiallynew perspective. In the course of the analysis,it is argued that, although CE issues are notuncontroversially unique, they are sufficientlynovel to render inadequate the adoption ofstandard macroethics, such as Utilitarianismand Deontologism, as the foundation of CE andhence to prompt the search for a robust ethicaltheory. Information Ethics (IE) is proposed forthat theory, as the satisfactory foundation forCE. IE is characterised as a biologicallyunbiased extension of environmental ethics,based on the concepts of information object/infosphere/entropy rather thanlife/ecosystem/pain. In light of the discussionprovided in this paper, it is suggested that CEis worthy of independent study because itrequires its own application-specific knowledgeand is capable of supporting a methodologicalfoundation, IE. (shrink)

The problem of evil is set out as a dialectic between theist and critic, the aim being to reveal the place of ethical judgments in the theist's apology. I discover what ethical judgments, both normative and descriptive, are implicit in the theist's use of his premises as good reasons, and where his reasoning goes astray. I suggest what ethical judgments, in contrast to the theist's, are supported by good reasons.

The use of "levels of abstraction" in philosophical analysis (levellism) has recently come under attack. In this paper, we argue that a refined version of epistemological levellism should be retained as a fundamental method, which we call the method of abstraction. After a brief introduction, in section two we make clear the nature and applicability of the (epistemological) method of levels of abstraction. In section three, we show the fruitfulness of the new method by applying it to five case studies: (...) the concept of agenthood, the Turing test, the definition of emergence, quantum observation and decidable observation. In section four, we further characterise and support the method by distinguishing it from three other forms of "levellism": (i) levels of organisation; (ii) levels of explanation and (iii) conceptual schemes. In this context, we also briefly address the problems of relativism and antirealism. In the conclusion, we indicate some of the work that lies ahead, two potential limitations of the method and some results that have already been obtained by applying the method to some long-standing philosophical problems. (shrink)

Es werden vier verbreitete Verwendungsweisen des Wortes ‘Argument’ beschrieben, an Beispielen erläutert und dann schrittweise expliziert. Die wichtigsten Explikata sind: ‘eine Satzfolge x ist ein deskriptives Argument in Standardform’, ‘ein deskriptives Argument x in Standardform ist bei der subjektiven Wahrscheinlichkeitsverteilung p stark (bzw. schwach)’, ‘ein Aussagesatz x ist bei der subjektiven Wahrscheinlichkeitsverteilung p ein Argument für (bzw. gegen) einen Aussagesatz y’, ‘ein geordneter Tripel x von deskriptiven Argumenten in Standardform, von Argumentebenen und von Argumentsträngen ist eine deskriptive Argumenthierarchie in Standardform’, (...) ‘eine deskriptive Argumenthierarchie x in Standardform ist gültig (bzw. ungültig; stichhaltig; konsistent; inkonsistent; sichtlich zirkelhaft; stark (bzw. schwach) bei der subjektiven Wahrscheinlichkeitsverteilung p)’. (shrink)

This article presents a comparative theory of subjective argument strength simple enough for application. Using the axioms and corollaries of the theory, anyone with an elementary knowledge of logic and probability theory can produce an at least minimally rational ranking of any set of arguments according to their subjective strength, provided that the arguments in question are descriptive ones in standard form. The basic idea is that the strength of argument A as seen by person x is a function of (...) three factors: x's degree of belief in the premisses of A; x's degree of belief in the conclusion of A under the assumption that all premisses of A are true; and x's belief in the conclusion of A under the assumption that not all premisses of A are true. (shrink)

In paragraph 21 of his "Logic of Scientific Discovery", Karl Popper characterizes with the help of two seemingly synonymous definitions the falsifiability of a theory as a logical relation between the theory itself and its basic statements. It is shown that his definitions do not agree with each other, and this result is applied to the problem of the falsifiability of contradictions, to the difference between falsifiable and empirical statements and to the demarcation criterion.

This is, to the best of my knowledge, the first published attempt at a rigorous logical formalization of a passage in Leibniz's Monadology. The method we followed was suggested by Johannes Czermak.

I set up two axiomatic theories of inductive support within the framework of Kolmogorovian probability theory. I call these theories ‘Popperian theories of inductive support’ because I think that their specific axioms express the core meaning of the word ‘inductive support’ as used by Popper (and, presumably, by many others, including some inductivists). As is to be expected from Popperian theories of inductive support, the main theorem of each of them is an anti-induction theorem, the stronger one of them saying, (...) in fact, that the relation of inductive support is identical with the empty relation. It seems to me that an axiomatic treatment of the idea(s) of inductive support within orthodox probability theory could be worthwhile for at least three reasons. Firstly, an axiomatic treatment demands from the builder of a theory of inductive support to state clearly in the form of specific axioms what he means by ‘inductive support’. Perhaps the discussion of the new anti-induction proofs of Karl Popper and David Miller would have been more fruitful if they had given an explicit definition of what inductive support is or should be. Secondly, an axiomatic treatment of the idea(s) of inductive support within Kolmogorovian probability theory might be accommodating to those philosophers who do not completely trust Popperian probability theory for having theorems which orthodox Kolmogorovian probability theory lacks; a transparent derivation of anti-induction theorems within a Kolmogorovian frame might bring additional persuasive power to the original anti-induction proofs of Popper and Miller, developed within the framework of Popperian probability theory. Thirdly, one of the main advantages of the axiomatic method is that it facilitates criticism of its products: the axiomatic theories. On the one hand, it is much easier than usual to check whether those statements which have been distinguished as theorems really are theorems of the theory under examination. On the other hand, after we have convinced ourselves that these statements are indeed theorems, we can take a critical look at the axioms—especially if we have a negative attitude towards one of the theorems. Since anti-induction theorems are not popular at all, the adequacy of some of the axioms they are derived from will certainly be doubted. If doubt should lead to a search for alternative axioms, sheer negative attitudes might develop into constructive criticism and even lead to new discoveries. -/- I proceed as follows. In section 1, I start with a small but sufficiently strong axiomatic theory of deductive dependence, closely following Popper and Miller (1987). In section 2, I extend that starting theory to an elementary Kolmogorovian theory of unconditional probability, which I extend, in section 3, to an elementary Kolmogorovian theory of conditional probability, which in its turn gets extended, in section 4, to a standard theory of probabilistic dependence, which also gets extended, in section 5, to a standard theory of probabilistic support, the main theorem of which will be a theorem about the incompatibility of probabilistic support and deductive independence. In section 6, I extend the theory of probabilistic support to a weak Popperian theory of inductive support, which I extend, in section 7, to a strong Popperian theory of inductive support. In section 8, I reconsider Popper's anti-inductivist theses in the light of the anti-induction theorems. I conclude the paper with a short discussion of possible objections to our anti-induction theorems, paying special attention to the topic of deductive relevance, which has so far been neglected in the discussion of the anti-induction proofs of Popper and Miller. (shrink)

Karl Popper discovered in 1938 that the unconditional probability of a conditional of the form ‘If A, then B’ normally exceeds the conditional probability of B given A, provided that ‘If A, then B’ is taken to mean the same as ‘Not (A and not B)’. So it was clear (but presumably only to him at that time) that the conditional probability of B given A cannot be reduced to the unconditional probability of the material conditional ‘If A, then B’. (...) I describe how this insight was developed in Popper’s writings and I add to this historical study a logical one, in which I compare laws of excess in Kolmogorov probability theory with laws of excess in Popper probability theory. (shrink)

Zwischen 1987 und 1994 sandte ich 20 Briefe an Karl Popper. Die meisten betrafen Fragen bezüglich seiner Antiinduktionsbeweise und seiner Wahrscheinlichkeitstheorie, einige die organisatorische und inhaltliche Vorbereitung eines Fachgesprächs mit ihm in Kenly am 22. März 1989 (worauf hier nicht eingegangen werden soll), einige schließlich ganz oder in Teilen nicht-fachliche Angelegenheiten (die im vorliegenden Bericht ebenfalls unberücksichtigt bleiben). Von Karl Popper erhielt ich in diesem Zeitraum 10 Briefe. Der bedeutendste ist sein siebter, bestehend aus drei Teilen, geschrieben am 21., 22. (...) und 23. Oktober 1992, in dem er eine Vorform jener Definition der probabilistischen Unabhängigkeit entwickelte, die er 1994 im neuen Anhang *XX der 10. Auflage seiner Logik der Forschung (LdF) der wissenschaftstheoretischen Forschergemeinde vorstellte. Der berührendste ist sein letzter, geschrieben am 26. Juli 1994, in dem er trotz Erschöpfung mit Humor schildert, wie mühselig der Druck des Anhangs *XX verlaufen ist. Mein Bericht ist zugleich chronologisch und systematisch gegliedert: die ersten, vergleichsweise wenigen Briefe, großteils 1987 geschrieben, handeln von der Induktion; der große Rest, zeitlicher Schwerpunkt 1992, beschäftigt sich mit der Wahrscheinlichkeitstheorie. Das Kapitel 1 über Induktion ist in vier Abschnitte unterteilt: 1.1 Das Popper/Miller-Argument: eine Nachkonstruktion, 1.2 Karl Poppers Brief vom 25.8.1987: Deduktive Stützung, 1.3 Karl Poppers Brief vom 29.9.1987: Nochmals zur deduktiven Stützung, 1.4 Echt induktive Stützung und Schwächung: zwei eigene Beweise. Das Kapitel 2 über Wahrscheinlichkeit ist ebenfalls in vier Abschnitte unterteilt: 2.1 Ein Mangel an Überschußgesetzen in der Logic of Scientific Discovery, 2.2 Probabilistische Unabhängigkeit, 2.3 Wahrscheinlichkeitstheorie und Wahrscheinlichkeitssemantik, 2.4 Die neue Unabhängigkeitsdefinition im Anhang *XX der LdF. (shrink)

Bolzano hat seine Wahrscheinlichkeitslehre in 15 Punkten im § 14 des zweiten Teils seiner Religionswissenschaft sowie in 20 Punkten im § 161 des zweiten Bandes seiner Wissenschaftslehre niedergelegt. (Ich verweise auf die Religionswissenschaft mit 'RW II', auf die Wissenschaftslehre mit 'WL II'.) In der RW II (vgl. p. 37) ist seine Wahrscheinlichkeitslehre eingebettet in seine Ausführungen "Über die Natur der historischen Erkenntniß, besonders in Hinsicht auf Wunder", und die Lehrsätze, die er dort zusammenstellt, dienen dem ausdrücklichen Zweck, mit mathematischem Rüstzeug (...) Lehrmeinungen entgegentreten zu können, gemäß denen Wundererzählungen keine Glaubwürdigkeit zukommen könne. In der WL II (vgl. p. 171) führt Bolzano im großen und ganzen dieselben Lehrsätze an wie in der RW II, entwickelt nun aber die Wahrscheinlichkeitslehre innerhalb seiner Lehre von den Sätzen an sich. Dabei orientiert er sich zwar durchaus an den Lehrsätzen in den damaligen "Schriften über die Wahrscheinlichkeitsrechnung" (vg. WL II, p. 190), korrigiert aber dort, wo es ihm nötig erscheint (vgl. WL II, pp. 187–191), und leistet so im Grunde eine Reformulierung des elementaren Teils der Wahrscheinlichkeitslehre seiner Zeit innerhalb seiner logischen Theorie von den Sätzen an sich. — Ich bezwecke hier keine historische Studie über Bolzanos Wahrscheinlichkeitslehre, obwohl es von Interesse sein mag, herauszuschälen, worin Bolzano mit welchen Wahrscheinlichkeitstheoretikern seiner Zeit übereinstimmt, und worin nicht, insbesondere welche Schwächen von Bolzanos Wahrscheinlichkeitslehre Schwächen aller damaligen Wahrscheinlichkeitslehren waren. Eine wichtige systematische Studie über Bolzanos Wahrscheinlichkeitslehre bestünde — wie von Berg (1962, pp. 148-149) ansatzweise begonnen — in einer exakten Rekonstruktion seiner Wahrscheinlichkeitslehre innerhalb eines konsistenten logischen Systems der Sätze an sich. Ich werde im folgenden etwas bei weitem Bescheideneres, doch möglicherweise durchaus Fruchtbares versuchen, nämlich die Lehrsätze von Bolzanos Wahrscheinlichkeitslehre in die Sprache einer heutigen Wahrscheinlichkeitstheorie zu übersetzen und die übersetzten Lehrsätze dort herzuleiten, soweit dies möglich ist. Man könnte dann in einem zweiten Schritt, der hier nicht mehr unternommen wird, untersuchen, inwieweit jene Thesen, die den Herleitungstest überstanden haben, jenen Zweck erfüllen, den Bolzano ihnen ursprünglich zugedacht hat: als mathematisches Rüstzeug für seine Argumentationen gegen die Auffassung zu dienen, Wundererzählungen könnten nicht glaubwürdig sein. (shrink)

Paul Weingartner's classification of the sciences is analyzed in detail. There is a small mistake in the definition of the set of descriptive-normative sciences, which makes the classification incorrect, but which can easily be remedied.

Commonsense reasoning about the physical world, as exemplified by "Iron sinks in water" or "If a ball is dropped it gains speed," will be indispensable in future programs. We argue that to make such predictions (namely, envisioning), programs should use abstract entities (such as the gravitational field), principles (such as the principle of superposition), and laws (such as the conservation of energy) of physics for representation and reasoning. These arguments are in accord with a recent study in physics instruction where (...) expert problem solving is related to the construction of physical representations that contain fictitious, imagined entities such as forces and momenta (Larkin 1983). We give several examples showing the power of physical representations. (shrink)

Future robots should have common sense about the world in order to handle the problems they will encounter. A large part of this commonsense knowledge must be naive physics knowledge, since carrying out even the simplest everyday chores requires familiarity with physics laws. But how should one start codifying this knowledge? What kind of skills should be elicited from the experts (each and every one of us)? This paper will attempt to provide some hints by studying the mental models of (...) force and motion. (shrink)

A distorted representation of one's own body is a diagnostic criterion and core psychopathology of both anorexia nervosa (AN) and bulimia nervosa (BN). Despite recent technical advances in research, it is still unknown whether this body image disturbance is characterized by body dissatisfaction and a low ideal weight and/or includes a distorted perception or processing of body size. In this article, we provide an update and meta-analysis of 42 articles summarizing measures and results for body size estimation (BSE) from 926 (...) individuals with AN, 536 individuals with BN and 1920 controls. We replicate findings that individuals with AN and BN overestimate their body size as compared to controls (ES= 0.63). Our meta-regression shows that metric methods (BSE by direct or indirect spatial measures) yield larger effect sizes than depictive methods (BSE by evaluating distorted pictures), and that effect sizes are larger for patients with BN than for patients with AN. To interpret these results, we suggest a revised theoretical framework for BSE that accounts for differences between depictive and metric BSE methods regarding the underlying body representations (conceptual vs. perceptual, implicit vs. explicit). We also discuss clinical implications and argue for the importance of multimethod approaches to investigate body image disturbance. (shrink)

Ausgangspunkt ist die Frage, was Masse ist, wodurch sie insbesondere befähigt ist, Dauer zu konstituieren und deshalb - im Sinn des kinematischen Relativitätsprinzips - ebenso als bewegt wie als ruhend betrachtet werden kann. In einem Gedankenexperiment wird diese Frage, in Umkehrung der Perspektive, hier nicht von der Masse selbst, sondern von einer stehenden Lichtwelle her angegangen. In diesem Modell lassen sich masse-analoge Strukturen rekonstruieren, die in relativer Bewegung sein können. Die (empirisch bekannte) Unabhängigkeit der Lichtgeschwindigkeit vom Bezugssystem ist dabei nicht (...) vorausgesetzt. Doch kann gezeigt werden, dass die Lichtgeschwindigkeit Grenzgeschwindigkeit solcher relativer Bewegungen ist, dass dies für alle durch masse-analoge Strukturen konstituierte, relativ zueinander gleichförmig bewegten Bezugssysteme gilt und dass die Lichtgeschwindigkeit selbst in allen diesen Systemen gleich ist. Die Absolutheit der Lichtgeschwindigkeit und die Relativität der Massebewegungen erweisen sich so als zwar differente, aber intrinsisch zusammengehörende Momente des kinematischen Relativitätsprinzips: ein Beitrag zu einer Philosophie der Relativitätstheorie. - Die mathematischen Zusammenhänge werden im Anhang ausführlicher dargelegt. (shrink)

Change blindness is the striking failure to see large changes that normally would be noticed easily. Over the past decade this phenomenon has greatly contributed to our understanding of attention, perception, and even consciousness. The surprising extent of change blindness explains its broad appeal, but its counterintuitive nature has also engendered confusions about the kinds of inferences that legitimately follow from it. Here we discuss the legitimate and the erroneous inferences that have been drawn, and offer a set of requirements (...) to help separate them. In doing so, we clarify the genuine contributions of change blindness research to our understanding of visual perception and awareness, and provide a glimpse of some ways in which change blindness might shape future research. (shrink)

According to robust virtue epistemology , knowledge is type-identical with a particular species of cognitive achievement. The identification itself is subject to some criticism on the grounds that it fails to account for the anti-luck features of knowledge. Although critics have largely focused on environmental luck, the fundamental philosophical problem facing RVE is that it is not clear why it should be a distinctive feature of cognitive abilities that they ordinarily produce beliefs in a way that is safe. We propose (...) a novel way to resolve this problem. Key to our proposal will be an appreciation of different representational states beholden to truth. We suggest these different representational states are distinguished by how, in the proper governance of these states, the twin goods of attaining truth and avoiding error are weighted. Moreover, we explain how varieties of representational states line up with varieties of cognitive achievement such that knowledge, cum cognitive achievement, must be safe because of the kind of attempt at success that belief is—namely, an attempt that places the premium it does on avoiding error. (shrink)

Our recent opinion article [1] examined what change blindness can and cannot tell us about visual representations. Among other things, we argued that change blindness can tell us a lot about how visual representations can be used, but little about their extent. We and others found the ‘sparse representations’ view appealing (and still do), and initially made the overly strong claim that change blindness supports the conclusion of sparse representations [2,3]. We wrote our article because change blindness continues to be (...) taken as evidence for sparse – or even absent – representations, and we used O’Regan and Noë’s influential paper [4] as an example. However, as has been noted for some time [5–8], this conclusion is logically flawed: lack of ability need not be caused by lack of representation. (shrink)

The current study is a pilot trial to examine the effects of a nonelective, classroom-based, teacher-implemented, mindfulness meditation intervention on standard clinical measures of mental health and affect in middle school children. A total of 101 healthy sixth-grade students (55 boys, 46 girls) were randomized to either an Asian history course with daily mindfulness meditation practice (intervention group) or an African history course with a matched experiential activity (active control group). Self-reported measures included the Youth Self Report (YSR), a modified (...) Spielberger State-Trait Anxiety Inventory, and the Cognitive and Affective Mindfulness Measure –Revised. Both groups decreased significantly on clinical syndrome subscales and affect but did not differ in the extent of their improvements. Meditators were significantly less likely to develop suicidal ideation or thoughts of self-harm than controls. These results suggest that mindfulness training may yield both unique and non-specific benefits that are shared by other novel activities. (shrink)

Common everyday materials such as textiles, foodstuffs, soil or skin can have complex, mutable and varied appearances. Under typical viewing conditions, most observers can visually recognize materials effortlessly, and determine many of their properties without touching them. Visual material perception raises many fascinating questions for vision researchers, neuroscientists and philosophers, yet has received little attention compared to the perception of color or shape. Here we discuss some of the challenges that material perception raises and argue that further philosophical thought should (...) be directed to how we see materials. (shrink)

The Oxford Handbook of Metaphysics offers the most authoritative and compelling guide to this diverse and fertile field of philosophy. Twenty-four of the world's most distinguished specialists provide brand-new essays about 'what there is': what kinds of things there are, and what relations hold among entities falling under various categories. They give the latest word on such topics as identity, modality, time, causation, persons and minds, freedom, and vagueness. The Handbook's unrivaled breadth and depth make it the definitive reference work (...) for students and academics across the philosophical spectrum. (shrink)

This chapter describes the potential far‐reaching consequences of contemplative higher education for the fields of science and medicine.

The purpose of this article is to show a structural relationship in Dutch between sentences with the main verb "duren" (last) and specifying complements such as een week (a week) or "drie kwartier" (three quarters of an hour) on the one hand, and sentences with Duration Measuring Adverbials such as "gedurende een week" (for a week), "gedurende die week" (lit: for that week) on the other.

We develop and defend a new approach to counterlogicals. Non-vacuous counterlogicals, we argue, fall within a broader class of counterfactuals known as counterconventionals. Existing semantics for counterconventionals, 459–482 ) and, 1–27 ) allow counterfactuals to shift the interpretation of predicates and relations. We extend these theories to counterlogicals by allowing counterfactuals to shift the interpretation of logical vocabulary. This yields an elegant semantics for counterlogicals that avoids problems with the usual impossible worlds semantics. We conclude by showing how this approach (...) can be extended to counterpossibles more generally. (shrink)

Precision Medicine is driven by the idea that the rapidly increasing range of relatively cheap and efficient self-tracking devices make it feasible to collect multiple kinds of phenotypic data. Advocates of N = 1 research emphasize the countless opportunities personal data provide for optimizing individual health. At the same time, using biomarker data for lifestyle interventions has shown to entail complex challenges. In this paper, we argue that researchers in the field of precision medicine need to address the performative dimension (...) of collecting data. We propose the fun-house mirror as a metaphor for the use of personal health data; each health data source yields a particular type of image that can be regarded as a ‘data mirror’ that is by definition specific and skewed. This requires competence on the part of individuals to adequately interpret the images thus provided. (shrink)

This chapter explores the opportunities and limitations of the ideal of transparency in responsible innovation, by consulting the virtual case of "The Circle", a company which appears in Dave Eggers' novel The Circle. The Circle is a high-tech company with the main purpose of being responsive to societal needs. They want to eradicate unethical behaviour in society, enhance public health and make a positive impact on the environment. The ultimate goal of The Circle is to reach 100% full transparency in (...) the world, which is impossible without any societal desirability. In first instance, it is free choice of people to accept and embrace the products and services of The Circle, who invest resources in keeping customers happy and in raising awareness about the dangers of privacy. The chapter concludes that The Circle meets the requirements regarding the outcomes of responsible innovation, at least to a certain extent, while at the same time, one feels unease about certain activities they undertake. (shrink)

This paper provides a retrospective and prospective overview of TU Delft’s approach to engineering ethics education. For over twenty years, the Ethics and Philosophy of Technology Section at TU Delft has been at the forefront of engineering ethics education, offering education to a wide range of engineering and design students. The approach developed at TU Delft is deeply informed by the research of the Section, which is centered around Responsible Research and Innovation, Design for Values, and Risk Ethics. These theoretical (...) approaches are premised on the notion that technologies are inherently value-laden, and as such contain the possibility of fostering or hindering moral values. Each of these approaches encourages students to take a proactive attitude with respect to their projects and profession, thinking creatively about – and taking responsibility for – how to both prevent harm and do good via the technologies they help develop. To explain how this is put into practice, this paper sketches a brief history of ethics teaching at TU Delft, outlines current activities, and presents future plans for Bachelor and Master’s level engineering ethics education at TU Delft. (shrink)

Consciousness and evolution are complex phenomena. It is sometimes thought that if adaptation explanations for some varieties of consciousness, say, conscious visual perception, can be had, then we may be reassured that at least those kinds of consciousness are not epiphenomena. But what if other varieties of consciousness, for example, dreams, are not adaptations? We sort out the connections among evolution, adaptation, and epiphenomenalism in order to show that the consequences for the nature and causal efficacy of consciousness are not (...) as dire as has sometimes been supposed. (shrink)

We discuss a research project that develops and applies algorithms for computational contextual vocabulary acquisition (CVA): learning the meaning of unknown words from context. We try to unify a disparate literature on the topic of CVA from psychology, first- and secondlanguage acquisition, and reading science, in order to help develop these algorithms: We use the knowledge gained from the computational CVA system to build an educational curriculum for enhancing students’ abilities to use CVA strategies in their reading of science texts (...) at the middle-school and college undergraduate levels. The knowledge gained from case studies of students using our CVA techniques feeds back into further development of our computational theory. Keywords: artificial intelligence, knowledge representation, reading, reasoning, science education, vocabulary acquisition. (shrink)

Deliberate contextual vocabulary acquisition (CVA) is a reader’s ability to figure out a (not the) meaning for an unknown word from its “context”, without external sources of help such as dictionaries or people. The appropriate context for such CVA is the “belief-revised integration” of the reader’s prior knowledge with the reader’s “internalization” of the text. We discuss unwarranted assumptions behind some classic objections to CVA, and present and defend a computational theory of CVA that we have adapted to a new (...) classroom curriculum designed to help students use CVA to improve their reading comprehension. (shrink)

We examine the following consequentialist view of virtue: a trait is a virtue if and only if it has good consequences in some relevant way. We highlight some motivations for this basic account, and offer twelve choice points for filling it out. Next, we explicate Julia Driver’s consequentialist view of virtue in reference to these choice points, and we canvass its merits and demerits. Subsequently, we consider three suggestions that aim to increase the plausibility of her position, and critically analyze (...) them. We conclude that one of those proposed revisions would improve her account. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.